Finding the needles in the haystack: Generating legal test inputs for object-oriented programs

A test input for an object-oriented program typically consists of asequence of method calls that use the API defined by the programunder test. Generating legal test inputs can be challenging because,for some programs, the set of legal method sequences is much smallerthan the set of all possible sequences; without a formalspecification of legal sequences, an input generator is bound toproduce mostly illegal sequences.We propose a scalable technique that combines dynamic analysis withrandom testing to help an input generator create legal test inputswithout a formal specification, even for programs in whichmost sequences are illegal. The technique uses an example executionof the program to infer a model of legal call sequences, and usesthe model to guide a random input generator towards legal butbehaviorally-diverse sequences.We have implemented our technique for Java, in a tool calledPalulu, and evaluated its effectiveness in creating legal inputsfor real programs. Our experimental results indicate that thetechnique is effective and scalable. Our preliminary evaluationindicates that the technique can quickly generate legal sequencesfor complex inputs: in a case study, Palulu created legal testinputs in seconds for a set of complex classes, for which it took anexpert thirty minutes to generate a single legal input

Pluggable type-checking for custom type qualifiers in Java

We have created a framework for adding custom type qualifiers to the Javalanguage in a backward-compatible way. The type system designer definesthe qualifiers and creates a compiler plug-in that enforces theirsemantics. Programmers can write the type qualifiers in their programs andbe informed of errors or assured that the program is free of those errors.The system builds on existing Java tools and APIs.In order to evaluate our framework, we have written four type-checkersusing the framework: for a non-null type system that can detect andprevent null pointer errors; for an interned type system that can detectand prevent equality-checking errors; for a reference immutability typesystem, Javari, that can detect and prevent mutation errors; and for areference and object immutability type system, IGJ, that can detect andprevent even more mutation errors. We have conducted case studies usingeach checker to find real errors in existing software. These case studiesdemonstrate that the checkers and the framework are practical and useful

Northern Adriatic response to a wintertime bora wind event

The unprecedented suite of research activities that focused on the Adriatic in winter 2003 provided a multi-faceted view of bora events and the resulting oceanic response

BurstCube: A CubeSat for gravitational wave counterparts

BurstCube aims to expand sky coverage in order to detect, localize, and rapidly disseminate information about gamma-ray bursts (GRBs). BurstCube is a\u276U\u27 CubeSat with an instrument comprised of 4 Cesium Iodide (CsI) scintillators coupled to arrays of Silicon photo-multipliers (SiPMs) and will be sensitive to gamma-rays between 50 keV and 1 MeV. BurstCube will assist current observatories, such as Swift and Fermi, in the detection of GRBs as well as provide astronomical context to gravitational wave (GW) events detected by LIGO, Virgo, and KAGRA. BurstCube is currently in its development phase with a launch readiness date in early 2022

Diversity and abundance of solitary and primitively eusocial bees in an urban centre: a case study from Northampton (England)

The apparent reduction of solitary and primitively eusocial bees populations has remained a huge concern over the past few decades and urbanisation is considered as one of the factors affecting bees at different scales depending on bee guild. As urbanisation is increasing globally it necessitates more research to understand the complex community dynamics of solitary and primitively eusocial bees in urban settings. We investigated the urban core of a British town for diversity and abundance of solitary bees using standardized methods, and compared the results with nearby meadows and nature reserves. The study recorded 48 species within the town, about 22 % of the total species and 58 % of the genera of solitary bees in the United Kingdom. Furthermore we found the urban core to be more diverse and abundant in solitary and primitively eusocial bees compared to the meadows and nature re-serves. Of particular note was an urban record of the nationally rare Red Data Book species Coelioxys quadridentata and its host Anthophora quadrimaculata. This research demonstrates that urban settings can contribute significantly to the conservation of solitary and primitively eusocial bees in Britain

Role of Position 627 of PB2 and the Multibasic Cleavage Site of the Hemagglutinin in the Virulence of H5N1 Avian Influenza Virus in Chickens and Ducks

Highly pathogenic H5N1 avian influenza viruses have caused major disease outbreaks in domestic and free-living birds with transmission to humans resulting in 59% mortality amongst 564 cases. The mutation of the amino acid at position 627 of the viral polymerase basic-2 protein (PB2) from glutamic acid (E) in avian isolates to lysine (K) in human isolates is frequently found, but it is not known if this change affects the fitness and pathogenicity of the virus in birds. We show here that horizontal transmission of A/Vietnam/1203/2004 H5N1 (VN/1203) virus in chickens and ducks was not affected by the change of K to E at PB2-627. All chickens died between 21 to 48 hours post infection (pi), while 70% of the ducks survived infection. Virus replication was detected in chickens within 12 hours pi and reached peak titers in spleen, lung and brain between 18 to 24 hours for both viruses. Viral antigen in chickens was predominantly in the endothelium, while in ducks it was present in multiple cell types, including neurons, myocardium, skeletal muscle and connective tissues. Virus replicated to a high titer in chicken thrombocytes and caused upregulation of TLR3 and several cell adhesion molecules, which may explain the rapid virus dissemination and location of viral antigen in endothelium. Virus replication in ducks reached peak values between 2 and 4 days pi in spleen, lung and brain tissues and in contrast to infection in chickens, thrombocytes were not involved. In addition, infection of chickens with low pathogenic VN/1203 caused neuropathology, with E at position PB2-627 causing significantly higher infection rates than K, indicating that it enhances virulence in chickens

The Fermi-LAT Light Curve Repository

The Fermi Large Area Telescope (LAT) light curve repository (LCR) is a publicly available, continually updated library of gamma-ray light curves of variable Fermi-LAT sources generated over multiple timescales. The Fermi-LAT LCR aims to provide publication-quality light curves binned on timescales of 3 days, 7 days, and 30 days for 1525 sources deemed variable in the source catalog of the first 10 years of Fermi-LAT observations. The repository consists of light curves generated through full likelihood analyses that model the sources and the surrounding region, providing fluxes and photon indices for each time bin. The LCR is intended as a resource for the time-domain and multi-messenger communities by allowing users to quickly search LAT data to identify correlated variability and flaring emission episodes from gamma-ray sources. We describe the sample selection and analysis employed by the LCR and provide an overview of the associated data access portal.Comment: Accepted for publication in ApJ Supplement Serie

2019 International Consensus on Cardiopulmonary Resuscitation and Emergency Cardiovascular Care Science With Treatment Recommendations

The International Liaison Committee on Resuscitation has initiated a continuous review of new, peer-reviewed, published cardiopulmonary resuscitation science. This is the third annual summary of the International Liaison Committee on Resuscitation International Consensus on Cardiopulmonary Resuscitation and Emergency Cardiovascular Care Science With Treatment Recommendations. It addresses the most recent published resuscitation evidence reviewed by International Liaison Committee on Resuscitation Task Force science experts. This summary addresses the role of cardiac arrest centers and dispatcher-assisted cardiopulmonary resuscitation, the role of extracorporeal cardiopulmonary resuscitation in adults and children, vasopressors in adults, advanced airway interventions in adults and children, targeted temperature management in children after cardiac arrest, initial oxygen concentration during resuscitation of newborns, and interventions for presyncope by first aid providers. Members from 6 International Liaison Committee on Resuscitation task forces have assessed, discussed, and debated the certainty of the evidence on the basis of the Grading of Recommendations, Assessment, Development, and Evaluation criteria, and their statements include consensus treatment recommendations. Insights into the deliberations of the task forces are provided in the Justification and Evidence to Decision Framework Highlights sections. The task forces also listed priority knowledge gaps for further research